Les Agents comme des interpréteurs Scheme : Spécification dynamique par la communication

نویسندگان

  • Clement Jonquet
  • Stefano A. Cerri
چکیده

We proposed in previous papers an extension and an implementation of the STROBE model, which regards the Agents as Scheme interpreters. These Agents are able to interpret messages in a dedicated environment including an interpreter that learns from the current conversation therefore representing evolving meta-level Agent knowledge. When the Agent interpreter is a nondeterministic one, the dialogues may consist of subsequent refinements of specifications in the form of constraint sets. The paper presents a worked out example of dynamic service generation – such as necessary on Grid – by exploiting STROBE Agents equipped with a nondeterministic interpreter. It shows how enabling dynamic specification of a problem. Then, it illustrates how these principles could be effective for other applications. Details of the implementation are not provided here, but are available.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modélisation de réseaux biologiques discrets en programmation logique par contraintes

RÉSUMÉ. Des outils informatiques sont nécessaires au développement de la biologie systémique pour analyser qualitativement la dynamique des réseaux d’interaction. Dans ce contexte, notre objectif est de développer un outil autour d’une spécification unique qui permette aux biologistes dans un contexte de connaissances incomplètes et qualitatives, (i) d’inférer des modèles à partir de propriétés...

متن کامل

Cognitive Agents Learning by Communicating

Cognitive Agent communication is a research field in full development. We propose here an extension and an implementation of the STROBE model, which regards the Agents as Scheme interpreters. These Agents are able to interpret messages in a dedicated environment including an interpreter that learns from the current conversation. These interpreters evolve dynamically, progressively with the conv...

متن کامل

Combinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems)

State Machines [Gur95]. Les Abstract State Machines (ASM), appelées aussi Evolving Algebras (EA), ont pour but de relier les spécifications de type algébrique et leur modèle sémantique. L’approche consiste à construire des machines (appelées aussi “e-algèbres”) qui représentent les systèmes de manière à ce que la correction des spécifications soit établie par de simples observations et vérifica...

متن کامل

La plate-forme MOCA : Réification de la notion d'organisation au-dessus de MadKit (démonstration)

1. Introduction La littérature propose maintenant plusieurs modèles de description de SMA en termes organisationnels [Dur96, FG98, HBS99, Hil00, Dur00] ; les notions de rôles et d'organisation y prennent des significations précises, doublées de langages de spécification adéquats. Il faut distinguer deux niveaux de description, celui du système multi-agent où un certain nombre d'agents interagis...

متن کامل

فایل کامل مجلّه مطالعات زبان فرانسه دو فصلنامه علمی پژوهشی زبان فرانسه دانشکده زبانهای خارجی دانشگاه اصفهان

Tâ ÇÉÅ wx W|xâ Revue des Études de la Langue Française Revue semestrielle de la Faculté des Langues Étrangères de l'Université d'Ispahan Cinquième année, N° 8 Printemps-Eté 2013, ISSN 2008- 6571 ISSN électronique 2322-469X Cette revue est indexée dans: Ulrichsweb: global serials directory http://ulrichsweb.serialssolutions.com Doaj: Directory of Open Access Journals http://www.doaj.org ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0802.1393  شماره 

صفحات  -

تاریخ انتشار 2003